Elimination for generic sparse polynomial systems
نویسندگان
چکیده
We present a new probabilistic symbolic algorithm that, given a variety defined in an n-dimensional affine space by a generic sparse system with fixed supports, computes the Zariski closure of its projection to an l-dimensional coordinate affine space with l < n. The complexity of the algorithm depends polynomially on combinatorial invariants associated to the supports.
منابع مشابه
On the Complexity of Sparse Elimination
Sparse elimination exploits the structure of a set of multivariate polynomials by measuring complexity in terms of Newton polytopes. We examine polynomial systems that generate 0-dimensional ideals: a generic monomial basis for the coordinate ring of such a system is de ned from a mixed subdivision. We o er a simple proof of this known fact and relate the computation of a monomial basis to the ...
متن کاملAffine solution sets of sparse polynomial systems
This paper focuses on the equidimensional decomposition of affine varieties defined by sparse polynomial systems. For generic systems with fixed supports, we give combinatorial conditions for the existence of positive dimensional components which characterize the equidimensional decomposition of the associated affine variety. This result is applied to design an equidimensional decomposition alg...
متن کاملPolynomial Homotopies for Dense, Sparse and Determinantal Systems
Numerical homotopy continuation methods for three classes of polynomial systems are presented. For a generic instance of the class, every path leads to a solution and the homotopy is optimal. The counting of the roots mirrors the resolution of a generic system that is used to start up the deformations. Software and applications are discussed. AMS Subject Classification. 14N10, 14M15, 52A39, 52B...
متن کاملAffine Elimination Theory
We propose a new resultant operator, providing a geometrically and computationally more intrinsic setting for elimination theory. The aane resultant extends the beneets the sparse resultant provides (for algebraic geometry in the algebraic torus) to aane space minus an arbitrary union of coordinate hyperplanes. As an application of the aane resultant, we give an explicit formula for the degree ...
متن کاملComputing the Newton Polygon of the Implicit Equation
We consider rationally parameterized plane curves, where the polynomials in the parameterization have fixed supports and generic coefficients. We apply sparse (or toric) elimination theory in order to determine the vertex representation of the implicit equation’s Newton polygon. In particular, we consider mixed subdivisions of the input Newton polygons and regular triangulations of point sets d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Discrete & Computational Geometry
دوره 51 شماره
صفحات -
تاریخ انتشار 2014